Autoreferat Rozprawy Doktorskiej
نویسنده
چکیده
Wprowadzenie W powszechnym przekonaniu dla »adnego problemu NPtrudnego nie istnieje algorytm wielomianowy. Jednak»e wiele grafowych problemów NP-trudnych mo»emy rozwi¡za¢ w czasie wielomianowym dla wybranych klas grafów takich jak drzewa, grafy zewn¦trznie planarne czy te» grafy szeregowo-równolegae (ang. series-parallel). Szeroko±¢ drzewiasta (ang. treewidth) jest parametrem grafowym wprowadzonym niezale»nie przez Rosego w roku 1974 [23] (pod nazw¡ cz¦±ciowych k-drzew) oraz przez Robertsona i Seymoura [22] w roku 1984. Parametr ten ma za zadanie okre±la¢ stopie« trudno±ci danej instancji, przy rozwi¡zywaniu problemów grafowych, mierz¡c stopie« podobie«stwa grafu do drzewa. De nicja grafów o ograniczonej szeroko±ci drzewiastej jest zbyt zao»ona aby j¡ w tym miejscu przytoczy¢. Mo»emy jednak nadmieni¢ »e drzewa maj¡ szeroko±¢ drzewiast¡ równ¡ jeden, grafy zewn¦trznie planarne oraz szeregoworównolegae nie wi¦ksz¡ ni» dwa, a jako przykaad prezentujemy trzy grafy o szeroko±ci drzewiastej nie wi¦kszej ni» 4, które ilustruj¡ struktur¦ grafów o ograniczonej szeroko±ci drzewiastej.
منابع مشابه
AUTOREFERAT rozprawy doktorskiej
W rozprawie rozpatruje się pewne układy nieliniowych równań różniczkowych cząstkowych opisujących różne aspekty ruchu komórek biologicznych. Dokładna motywacja biologiczna, wraz z odniesieniami bibliograficznymi, są przedstawione w rozdziale 1 (”Introduction”) rozprawy. W rozdziale 2 badane są matematyczne własności zagadnienia początkowo–brzegowego (por. [17]): ut = ∆u+∇ · (u∇v) w...
متن کاملAutoreferat do rozprawy „Security against space-restricted physical attacks”
Rozprawa doktorska wprowadza nowy, zdefiniowany przez autora model obliczeń kryptograficznych, nazwany SBA–modelem. Charakterystyczne cechy tego modelu to ograniczona pamięć, wycieki oraz użycie losowej wyroczni. W rozprawie badane są trzy schematy kryptograficzne: Jednorazowe funkcje pseudolosowe, Schemat ewolucji klucza oraz Funkcje jednorazowe (ang. One-time computable pseudorandom function,...
متن کاملExploring potential tumour growth modulating mechanisms in cells having di ff erent status of TP 53
O´swiadczenie autora rozprawy: o´swiadczam, ˙ ze niniejsza rozprawa została napisana przeze mnie samodzielnie. O´swiadczenie promotora rozprawy: niniejsza rozprawa jest gotowa do oceny przez recenzentów. O´swiadczenie kopromotora rozprawy: niniejsza rozprawa jest gotowa do oceny przez recenzentów.
متن کاملBadanie zanurzalności algebr częściowych za pomocą systemów przepisywania termów Autoreferat
Operacja rozszerzenia algebry (zanurzenia w inną algebrę) wydaje się mieć w teorii algebr częściowych znacznie większe znaczenie niż w przypadku totalnym. Jeśli bowiem rozserzana algebra jest częściowa, jej nośnik może algebrę już rozszerzoną generować, co można interpretować jako wzbogacenie, a jeśli rozważamy rozszerzenie do algebr totalnych, to wręcz uzupełnienie obiektu reprezentowanego prz...
متن کاملCombinatorial Characterization of Formal Languages
This is the English translation of the “autoreferat” (extended abstract) of the dissertation presented for the doctoral (final) degree in physics and mathematics. The Russian original is available at wwwrus.imm.uran.ru/C16/Diss/Z/Автореф_Шур.pdf. The full text of dissertation (also in Russian) is available from the author, mailto [email protected]. This English version slightly extends the Rus...
متن کامل